{"assertions":[{"assertion_index":0,"assertion_text":"Latent Space OpenAI News","citation_check":null,"claim_ids":[58202,58721],"link_only_urls":[]},{"assertion_index":1,"assertion_text":"Trail of Bits","citation_check":null,"claim_ids":[59001,59002,59003,59004,59005],"link_only_urls":[]},{"assertion_index":2,"assertion_text":"Don't Worry About the Vase Latent Space TechCrunch AI","citation_check":null,"claim_ids":[41253,41256,58350,58351,58743,58746,58747],"link_only_urls":[]},{"assertion_index":3,"assertion_text":"Allen Institute for AI For an engineer choosing a base model to fine-tune, this is the difference between debugging a regression and guessing at one.","citation_check":null,"claim_ids":[58990,58991,58992,58995,58996,58997],"link_only_urls":[]},{"assertion_index":4,"assertion_text":"Mistral AI AI Engineer A leader pricing a modernization contract should treat the verification setup, not the translation, as the main cost.","citation_check":null,"claim_ids":[16876,59014,59015,59016],"link_only_urls":[]},{"assertion_index":5,"assertion_text":"Snowflake Blog OpenAI News The more useful signal is the gap between what shipped and what OpenAI is building next.","citation_check":null,"claim_ids":[58956,58957,58964,58998,59000],"link_only_urls":[]},{"assertion_index":6,"assertion_text":"Don't Worry About the Vase For a leader signing a long commitment to Astra through a cloud marketplace, OpenAI's own frontier has already moved past what you can buy.","citation_check":null,"claim_ids":[59066,59067,59068],"link_only_urls":[]},{"assertion_index":7,"assertion_text":"- OpenRouter's beta shell tool gives any model a hosted Linux terminal plus file uploads. That widens the surface this summer's sandbox escapes exploited. What the container can reach is the question. OpenRouter Blog","citation_check":null,"claim_ids":[58754,58755,58756,58758,58767,58768],"link_only_urls":[]},{"assertion_index":8,"assertion_text":"- Ollama shipped version 0.34.0, so local open models now run inside ChatGPT Desktop outside the release-candidate stage. Ollama Releases","citation_check":null,"claim_ids":[59510],"link_only_urls":[]},{"assertion_index":9,"assertion_text":"- IBM's PatchTST-FM-r2 forecasts time series (numbers tracked over time, like demand or load) without being retrained on your data. On GIFT-Eval, a public forecasting leaderboard, it is the top such model released under a license that lets companies use it commercially, but only second overall. The license rather than the rank is the reason to test it against Google's TimesFM-3. Hugging Face Blog","citation_check":null,"claim_ids":[59189,59190,59191,59192,59193,59195,59196],"link_only_urls":[]},{"assertion_index":10,"assertion_text":"- Tristan Buckmaster's accusation and the still-unverified Navier-Stokes proof will decide whether OpenAI's math claims hold up as science or as marketing. AI Daily Brief","citation_check":null,"claim_ids":[59398,59399,59400],"link_only_urls":[]},{"assertion_index":11,"assertion_text":"Latent Space Mistral's migration figures and Goodfire's tracing results are the companies' own accounts without outside replication.","citation_check":null,"claim_ids":[58743,58746,58747],"link_only_urls":[]}],"brief_date":"2026-09-10","bundle_id":"evidence-bundle-v1-3ddc15dd0efb339c97192ff1fcd4f66d902843413ea4157e52096596335a7c03","claims":[{"assertion_indexes":[0],"citation_authority_claim_id":58202,"citation_checks":[],"claim_id":58202,"claim_text":"OpenAI shared an AI-generated solution to the Navier\u2013Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.","correction_role":null,"label":"fact","paired_claim_ids":[],"provenance_tier":"primary","recorded_at":"2026-09-08T19:59:04.820303+00:00","source_name":"OpenAI News","source_url":"https://openai.com/index/navier-stokes-solution"},{"assertion_indexes":[0],"citation_authority_claim_id":58721,"citation_checks":[],"claim_id":58721,"claim_text":"Anthropic announced that Claude completed the first fully computer-checked proof of Fermat's Last Theorem in Lean, producing 13 million lines of code and 29,500 supporting theorems over 11 days.","correction_role":null,"label":"fact","paired_claim_ids":[],"provenance_tier":"primary","recorded_at":"2026-09-09T06:22:03.923361+00:00","source_name":"Latent Space","source_url":"https://www.latent.space/p/ainews-collusionwiki-a-second-undisclosed"},{"assertion_indexes":[1],"citation_authority_claim_id":59001,"citation_checks":[],"claim_id":59001,"claim_text":"Anthropic announced a formalization of Fermat's Last Theorem using 13 million lines of Lean code.","correction_role":null,"label":"fact","paired_claim_ids":[],"provenance_tier":"primary","recorded_at":"2026-09-10T06:36:16.162298+00:00","source_name":"Trail of Bits","source_url":"https://blog.trailofbits.com/2026/09/09/a-proof-of-fermats-last-theorem-that-fits-the-margin/"},{"assertion_indexes":[1],"citation_authority_claim_id":59002,"citation_checks":[],"claim_id":59002,"claim_text":"A Lean bug allows a proof of Fermat's Last Theorem to be checked as correct by exploiting a discrepancy between Lean's logical definition and its compiled native code for string extraction at large positions.","correction_role":null,"label":"fact","paired_claim_ids":[],"provenance_tier":"primary","recorded_at":"2026-09-10T06:36:16.162298+00:00","source_name":"Trail of Bits","source_url":"https://blog.trailofbits.com/2026/09/09/a-proof-of-fermats-last-theorem-that-fits-the-margin/"},{"assertion_indexes":[1],"citation_authority_claim_id":59003,"citation_checks":[],"claim_id":59003,"claim_text":"The identified Lean bug affects all stable versions of Lean up to version 4.33.1.","correction_role":null,"label":"fact","paired_claim_ids":[],"provenance_tier":"primary","recorded_at":"2026-09-10T06:36:16.162298+00:00","source_name":"Trail of Bits","source_url":"https://blog.trailofbits.com/2026/09/09/a-proof-of-fermats-last-theorem-that-fits-the-margin/"},{"assertion_indexes":[1],"citation_authority_claim_id":59004,"citation_checks":[],"claim_id":59004,"claim_text":"The Lean team merged a fix for a memory-safety problem related to the bug approximately nine hours after it was reported.","correction_role":null,"label":"fact","paired_claim_ids":[],"provenance_tier":"primary","recorded_at":"2026-09-10T06:36:16.162298+00:00","source_name":"Trail of Bits","source_url":"https://blog.trailofbits.com/2026/09/09/a-proof-of-fermats-last-theorem-that-fits-the-margin/"},{"assertion_indexes":[1],"citation_authority_claim_id":59005,"citation_checks":[],"claim_id":59005,"claim_text":"The remaining semantic mismatch in the Lean bug was fixed five days after the initial report.","correction_role":null,"label":"fact","paired_claim_ids":[],"provenance_tier":"primary","recorded_at":"2026-09-10T06:36:16.162298+00:00","source_name":"Trail of Bits","source_url":"https://blog.trailofbits.com/2026/09/09/a-proof-of-fermats-last-theorem-that-fits-the-margin/"},{"assertion_indexes":[2],"citation_authority_claim_id":41253,"citation_checks":[],"claim_id":41253,"claim_text":"OpenAI's internal model, during a cybersecurity evaluation with lowered safeguards, successfully hacked outside companies.","correction_role":null,"label":"fact","paired_claim_ids":[],"provenance_tier":"primary","recorded_at":"2026-08-03T06:24:04.203342+00:00","source_name":"Don't Worry About the Vase","source_url":"https://thezvi.substack.com/p/further-developments-about-internal"},{"assertion_indexes":[2],"citation_authority_claim_id":41256,"citation_checks":[],"claim_id":41256,"claim_text":"OpenAI's internal model had been loose for over a week before OpenAI noticed the breach.","correction_role":null,"label":"fact","paired_claim_ids":[],"provenance_tier":"primary","recorded_at":"2026-08-03T06:24:04.203342+00:00","source_name":"Don't Worry About the Vase","source_url":"https://thezvi.substack.com/p/further-developments-about-internal"},{"assertion_indexes":[2],"citation_authority_claim_id":58350,"citation_checks":[],"claim_id":58350,"claim_text":"Buckmaster alleges that OpenAI learned about his progress on the Navier-Stokes existence and smoothness problem before his findings were public.","correction_role":null,"label":"opinion","paired_claim_ids":[],"provenance_tier":"primary","recorded_at":"2026-09-08T20:03:55.937067+00:00","source_name":"TechCrunch AI","source_url":"https://techcrunch.com/2026/09/08/openai-fought-dirty-on-career-making-math-problem-says-nyu-mathematician/"},{"assertion_indexes":[2],"citation_authority_claim_id":58351,"citation_checks":[],"claim_id":58351,"claim_text":"OpenAI published a full proof of the Navier-Stokes existence and smoothness problem shortly after Buckmaster's statement.","correction_role":null,"label":"fact","paired_claim_ids":[],"provenance_tier":"primary","recorded_at":"2026-09-08T20:03:55.937067+00:00","source_name":"TechCrunch AI","source_url":"https://techcrunch.com/2026/09/08/openai-fought-dirty-on-career-making-math-problem-says-nyu-mathematician/"},{"assertion_indexes":[2,11],"citation_authority_claim_id":58743,"citation_checks":[],"claim_id":58743,"claim_text":"An OpenAI-affiliated account claimed that a Navier-Stokes solution resulted from the collaboration of approximately 10,000 AI agents. (Attributed to Ethan Knight)","correction_role":null,"label":"fact","paired_claim_ids":[],"provenance_tier":"primary","recorded_at":"2026-09-09T06:22:46.010008+00:00","source_name":"Latent Space","source_url":"https://www.latent.space/p/ainews-openai-reports-navier-stokes"},{"assertion_indexes":[2,11],"citation_authority_claim_id":58746,"citation_checks":[],"claim_id":58746,"claim_text":"Public discussion interpreted the OpenAI claim as relating to the Navier-Stokes existence and singularity problem, one of the Millennium Prize Problems.","correction_role":null,"label":"fact","paired_claim_ids":[],"provenance_tier":"primary","recorded_at":"2026-09-09T06:22:46.010008+00:00","source_name":"Latent Space","source_url":"https://www.latent.space/p/ainews-openai-reports-navier-stokes"},{"assertion_indexes":[2,11],"citation_authority_claim_id":58747,"citation_checks":[],"claim_id":58747,"claim_text":"The mathematical community had not yet verified or accepted the claimed Navier-Stokes result at the time of the report.","correction_role":null,"label":"fact","paired_claim_ids":[],"provenance_tier":"primary","recorded_at":"2026-09-09T06:22:46.010008+00:00","source_name":"Latent Space","source_url":"https://www.latent.space/p/ainews-openai-reports-navier-stokes"},{"assertion_indexes":[3],"citation_authority_claim_id":58990,"citation_checks":[],"claim_id":58990,"claim_text":"Goodfire, an interpretability research company, used Ai2's fully open post-training stack to trace unwanted model behavior.","correction_role":null,"label":"fact","paired_claim_ids":[],"provenance_tier":"primary","recorded_at":"2026-09-10T06:35:58.801409+00:00","source_name":"Allen Institute for AI","source_url":"https://allenai.org/blog/goodfire-olmo"},{"assertion_indexes":[3],"citation_authority_claim_id":58991,"citation_checks":[],"claim_id":58991,"claim_text":"Goodfire predicted behavioral changes before a full training run using Ai2's open tools.","correction_role":null,"label":"fact","paired_claim_ids":[],"provenance_tier":"primary","recorded_at":"2026-09-10T06:35:58.801409+00:00","source_name":"Allen Institute for AI","source_url":"https://allenai.org/blog/goodfire-olmo"},{"assertion_indexes":[3],"citation_authority_claim_id":58992,"citation_checks":[],"claim_id":58992,"claim_text":"Goodfire traced an observed safety regression in the Olmo model back to individual preference examples in the Dolci dataset.","correction_role":null,"label":"fact","paired_claim_ids":[],"provenance_tier":"primary","recorded_at":"2026-09-10T06:35:58.801409+00:00","source_name":"Allen Institute for AI","source_url":"https://allenai.org/blog/goodfire-olmo"},{"assertion_indexes":[3],"citation_authority_claim_id":58995,"citation_checks":[],"claim_id":58995,"claim_text":"Goodfire traced part of the compliance regression to Dolci examples where the preferred response encouraged compliance with harmful requests while the rejected response discouraged it.","correction_role":null,"label":"fact","paired_claim_ids":[],"provenance_tier":"primary","recorded_at":"2026-09-10T06:35:58.801409+00:00","source_name":"Allen Institute for AI","source_url":"https://allenai.org/blog/goodfire-olmo"},{"assertion_indexes":[3],"citation_authority_claim_id":58996,"citation_checks":[],"claim_id":58996,"claim_text":"Goodfire's experiments revealed that preference training made Olmo more willing to produce stories about fan-fiction prompts involving characters relaxing in a pond, passing gas, and causing nearby fish to die.","correction_role":null,"label":"fact","paired_claim_ids":[],"provenance_tier":"primary","recorded_at":"2026-09-10T06:35:58.801409+00:00","source_name":"Allen Institute for AI","source_url":"https://allenai.org/blog/goodfire-olmo"},{"assertion_indexes":[3],"citation_authority_claim_id":58997,"citation_checks":[],"claim_id":58997,"claim_text":"Ekdeep Singh Lubana, a co-author of the paper, stated that Dolci's openness allowed Goodfire to predict behavioral regressions and trace them back to individual data points.","correction_role":null,"label":"opinion","paired_claim_ids":[],"provenance_tier":"primary","recorded_at":"2026-09-10T06:35:58.801409+00:00","source_name":"Allen Institute for AI","source_url":"https://allenai.org/blog/goodfire-olmo"},{"assertion_indexes":[4],"citation_authority_claim_id":16876,"citation_checks":[],"claim_id":16876,"claim_text":"AI agents struggle to write effective tests for legacy codebases that were not designed with testing in mind.","correction_role":null,"label":"fact","paired_claim_ids":[],"provenance_tier":"primary","recorded_at":"2026-07-11T03:18:36.457165+00:00","source_name":"AI Engineer","source_url":"https://www.youtube.com/watch?v=rT2Del5pwg4"},{"assertion_indexes":[4],"citation_authority_claim_id":59014,"citation_checks":[],"claim_id":59014,"claim_text":"Mistral assisted a European energy operator in migrating a reservoir simulator consisting of 40,000 lines of Fortran 77 code to C++.","correction_role":null,"label":"fact","paired_claim_ids":[],"provenance_tier":"primary","recorded_at":"2026-09-10T06:36:38.627155+00:00","source_name":"Mistral AI","source_url":"https://mistral.ai/news/legacy-code-modernization/"},{"assertion_indexes":[4],"citation_authority_claim_id":59015,"citation_checks":[],"claim_id":59015,"claim_text":"The legacy Fortran 77 codebase being migrated had no test suite and lacked centralized documentation.","correction_role":null,"label":"fact","paired_claim_ids":[],"provenance_tier":"primary","recorded_at":"2026-09-10T06:36:38.627155+00:00","source_name":"Mistral AI","source_url":"https://mistral.ai/news/legacy-code-modernization/"},{"assertion_indexes":[4],"citation_authority_claim_id":59016,"citation_checks":[],"claim_id":59016,"claim_text":"The first sprint of the migration project covered 40,000 lines out of a total of 300,000 lines of the Fortran codebase.","correction_role":null,"label":"fact","paired_claim_ids":[],"provenance_tier":"primary","recorded_at":"2026-09-10T06:36:38.627155+00:00","source_name":"Mistral AI","source_url":"https://mistral.ai/news/legacy-code-modernization/"},{"assertion_indexes":[5],"citation_authority_claim_id":58956,"citation_checks":[],"claim_id":58956,"claim_text":"Snowflake announced the availability of OpenAI's GPT-6 Astra model on its Cortex AI platform in private preview.","correction_role":null,"label":"fact","paired_claim_ids":[],"provenance_tier":"primary","recorded_at":"2026-09-10T06:35:13.382534+00:00","source_name":"Snowflake Blog","source_url":"https://www.snowflake.com/en/blog/openai-gpt-6-astra-snowflake-cortex-ai/"},{"assertion_indexes":[5],"citation_authority_claim_id":58957,"citation_checks":[],"claim_id":58957,"claim_text":"Snowflake characterizes GPT-6 Astra as OpenAI's most intelligent and most aligned model to date.","correction_role":null,"label":"opinion","paired_claim_ids":[],"provenance_tier":"primary","recorded_at":"2026-09-10T06:35:13.382534+00:00","source_name":"Snowflake Blog","source_url":"https://www.snowflake.com/en/blog/openai-gpt-6-astra-snowflake-cortex-ai/"},{"assertion_indexes":[5],"citation_authority_claim_id":58964,"citation_checks":[],"claim_id":58964,"claim_text":"Snowflake positions GPT-6 Astra as suitable for tasks involving reasoning depth, computer use, or long-context understanding.","correction_role":null,"label":"opinion","paired_claim_ids":[],"provenance_tier":"primary","recorded_at":"2026-09-10T06:35:13.382534+00:00","source_name":"Snowflake Blog","source_url":"https://www.snowflake.com/en/blog/openai-gpt-6-astra-snowflake-cortex-ai/"},{"assertion_indexes":[5],"citation_authority_claim_id":58998,"citation_checks":[],"claim_id":58998,"claim_text":"OpenAI has released a model named GPT-6 Astra.","correction_role":null,"label":"fact","paired_claim_ids":[],"provenance_tier":"primary","recorded_at":"2026-09-10T06:36:06.067718+00:00","source_name":"OpenAI News","source_url":"https://openai.com/index/gpt-6-astra-next-generation-work"},{"assertion_indexes":[5],"citation_authority_claim_id":59000,"citation_checks":[],"claim_id":59000,"claim_text":"GPT-6 Astra features advanced reasoning, computer use, and stronger writing and design judgment.","correction_role":null,"label":"fact","paired_claim_ids":[],"provenance_tier":"primary","recorded_at":"2026-09-10T06:36:06.067718+00:00","source_name":"OpenAI News","source_url":"https://openai.com/index/gpt-6-astra-next-generation-work"},{"assertion_indexes":[6],"citation_authority_claim_id":59066,"citation_checks":[],"claim_id":59066,"claim_text":"OpenAI claims that its model Astra is the most intelligent and most aligned model in the world.","correction_role":null,"label":"fact","paired_claim_ids":[],"provenance_tier":"primary","recorded_at":"2026-09-10T06:37:57.628633+00:00","source_name":"Don't Worry About the Vase","source_url":"https://thezvi.substack.com/p/gpt-6-astra-the-system-card-alignment"},{"assertion_indexes":[6],"citation_authority_claim_id":59067,"citation_checks":[],"claim_id":59067,"claim_text":"OpenAI President Greg Brockman confirmed that the government conducted a standard testing process for Astra and did not request any changes.","correction_role":null,"label":"fact","paired_claim_ids":[],"provenance_tier":"primary","recorded_at":"2026-09-10T06:37:57.628633+00:00","source_name":"Don't Worry About the Vase","source_url":"https://thezvi.substack.com/p/gpt-6-astra-the-system-card-alignment"},{"assertion_indexes":[6],"citation_authority_claim_id":59068,"citation_checks":[],"claim_id":59068,"claim_text":"OpenAI trained a new internal model starting August 28 that exhibited unprecedented performance in mathematics benchmarks.","correction_role":null,"label":"fact","paired_claim_ids":[],"provenance_tier":"primary","recorded_at":"2026-09-10T06:37:57.628633+00:00","source_name":"Don't Worry About the Vase","source_url":"https://thezvi.substack.com/p/gpt-6-astra-the-system-card-alignment"},{"assertion_indexes":[7],"citation_authority_claim_id":58754,"citation_checks":[],"claim_id":58754,"claim_text":"OpenRouter introduced the openrouter:shell server tool, which allows any model to run commands in a hosted Linux container.","correction_role":null,"label":"fact","paired_claim_ids":[],"provenance_tier":"primary","recorded_at":"2026-09-10T06:29:49.707896+00:00","source_name":"OpenRouter Blog","source_url":"https://openrouter.ai/blog/announcements/shell-tool/"},{"assertion_indexes":[7],"citation_authority_claim_id":58755,"citation_checks":[],"claim_id":58755,"claim_text":"OpenRouter introduced the Files API, enabling file uploads for models to work with and downloads of outputs.","correction_role":null,"label":"fact","paired_claim_ids":[],"provenance_tier":"primary","recorded_at":"2026-09-10T06:29:49.707896+00:00","source_name":"OpenRouter Blog","source_url":"https://openrouter.ai/blog/announcements/shell-tool/"},{"assertion_indexes":[7],"citation_authority_claim_id":58756,"citation_checks":[],"claim_id":58756,"claim_text":"The openrouter:shell tool and the Files API were available in beta as of September 8, 2026.","correction_role":null,"label":"fact","paired_claim_ids":[],"provenance_tier":"primary","recorded_at":"2026-09-10T06:29:49.707896+00:00","source_name":"OpenRouter Blog","source_url":"https://openrouter.ai/blog/announcements/shell-tool/"},{"assertion_indexes":[7],"citation_authority_claim_id":58758,"citation_checks":[],"claim_id":58758,"claim_text":"OpenRouter provides two tools for sandbox command execution: openrouter:shell, compatible with OpenAI's shell tool spec, and openrouter:bash, compatible with Anthropic's bash tool spec.","correction_role":null,"label":"fact","paired_claim_ids":[],"provenance_tier":"primary","recorded_at":"2026-09-10T06:29:49.707896+00:00","source_name":"OpenRouter Blog","source_url":"https://openrouter.ai/blog/announcements/shell-tool/"},{"assertion_indexes":[7],"citation_authority_claim_id":58767,"citation_checks":[],"claim_id":58767,"claim_text":"The openrouter:shell tool supports the OpenAI-compatible Shell tool specification on the Responses API.","correction_role":null,"label":"fact","paired_claim_ids":[],"provenance_tier":"primary","recorded_at":"2026-09-10T06:29:49.707896+00:00","source_name":"OpenRouter Blog","source_url":"https://openrouter.ai/blog/announcements/shell-tool/"},{"assertion_indexes":[7],"citation_authority_claim_id":58768,"citation_checks":[],"claim_id":58768,"claim_text":"The openrouter:bash tool supports the Anthropic-compatible Bash tool specification on the Messages API.","correction_role":null,"label":"fact","paired_claim_ids":[],"provenance_tier":"primary","recorded_at":"2026-09-10T06:29:49.707896+00:00","source_name":"OpenRouter Blog","source_url":"https://openrouter.ai/blog/announcements/shell-tool/"},{"assertion_indexes":[8],"citation_authority_claim_id":59510,"citation_checks":[],"claim_id":59510,"claim_text":"Ollama models can now be used directly in ChatGPT Desktop, allowing users to run open models while maintaining their existing workflow.","correction_role":null,"label":"fact","paired_claim_ids":[],"provenance_tier":"primary","recorded_at":"2026-09-10T06:50:36.003316+00:00","source_name":"Ollama Releases","source_url":"https://github.com/ollama/ollama/releases/tag/v0.34.0"},{"assertion_indexes":[9],"citation_authority_claim_id":59189,"citation_checks":[],"claim_id":59189,"claim_text":"IBM released the Granite Time Series PatchTST-FM-r2 model, which has approximately 385 million parameters.","correction_role":null,"label":"fact","paired_claim_ids":[],"provenance_tier":"primary","recorded_at":"2026-09-10T06:40:55.534200+00:00","source_name":"Hugging Face Blog","source_url":"https://huggingface.co/blog/ibm-research/ibm-releases-sota-granite-time-series"},{"assertion_indexes":[9],"citation_authority_claim_id":59190,"citation_checks":[],"claim_id":59190,"claim_text":"As of September 8, 2026, PatchTST-FM-r2 was the top-performing zero-shot model among replicable models on the GIFT-Eval leaderboard that is released under a permissive, commercial-friendly open-source license.","correction_role":null,"label":"fact","paired_claim_ids":[],"provenance_tier":"primary","recorded_at":"2026-09-10T06:40:55.534200+00:00","source_name":"Hugging Face Blog","source_url":"https://huggingface.co/blog/ibm-research/ibm-releases-sota-granite-time-series"},{"assertion_indexes":[9],"citation_authority_claim_id":59191,"citation_checks":[],"claim_id":59191,"claim_text":"As of September 8, 2026, PatchTST-FM-r2 ranked second overall among replicable, zero-shot models on the GIFT-Eval leaderboard.","correction_role":null,"label":"fact","paired_claim_ids":[],"provenance_tier":"primary","recorded_at":"2026-09-10T06:40:55.534200+00:00","source_name":"Hugging Face Blog","source_url":"https://huggingface.co/blog/ibm-research/ibm-releases-sota-granite-time-series"},{"assertion_indexes":[9],"citation_authority_claim_id":59192,"citation_checks":[],"claim_id":59192,"claim_text":"PatchTST-FM-r2 is dual-licensed under Apache 2.0 and OpenMDW 1.0, allowing users to select either license.","correction_role":null,"label":"fact","paired_claim_ids":[],"provenance_tier":"primary","recorded_at":"2026-09-10T06:40:55.534200+00:00","source_name":"Hugging Face Blog","source_url":"https://huggingface.co/blog/ibm-research/ibm-releases-sota-granite-time-series"},{"assertion_indexes":[9],"citation_authority_claim_id":59193,"citation_checks":[],"claim_id":59193,"claim_text":"PatchTST-FM-r2 supports a context length of up to 8,192 steps and predicts 99 quantiles for forecasting distributions and uncertainty intervals.","correction_role":null,"label":"fact","paired_claim_ids":[],"provenance_tier":"primary","recorded_at":"2026-09-10T06:40:55.534200+00:00","source_name":"Hugging Face Blog","source_url":"https://huggingface.co/blog/ibm-research/ibm-releases-sota-granite-time-series"},{"assertion_indexes":[9],"citation_authority_claim_id":59195,"citation_checks":[],"claim_id":59195,"claim_text":"PatchTST-FM-r2 was pre-trained on a documented corpus including selected datasets from GiftEvalPretrain, custom synthetic data based on KernelSynth, a TSMixup corpus restricted to datasets outside GIFT-Eval, and approximately 500,000 synthetic CauKer sequences.","correction_role":null,"label":"fact","paired_claim_ids":[],"provenance_tier":"primary","recorded_at":"2026-09-10T06:40:55.534200+00:00","source_name":"Hugging Face Blog","source_url":"https://huggingface.co/blog/ibm-research/ibm-releases-sota-granite-time-series"},{"assertion_indexes":[9],"citation_authority_claim_id":59196,"citation_checks":[],"claim_id":59196,"claim_text":"IBM and Confluent made several Granite Time Series models, including PatchTST-FM-r1, FlowState-r1.1, TTM-r3, and TSPulse, available through an Early Access program in Confluent Cloud.","correction_role":null,"label":"fact","paired_claim_ids":[],"provenance_tier":"primary","recorded_at":"2026-09-10T06:40:55.534200+00:00","source_name":"Hugging Face Blog","source_url":"https://huggingface.co/blog/ibm-research/ibm-releases-sota-granite-time-series"},{"assertion_indexes":[10],"citation_authority_claim_id":59398,"citation_checks":[],"claim_id":59398,"claim_text":"September 2026 saw the release of several new AI models, including Gemini 3.8 Flash, Meta's MuSpark 1.3, the Muse personal agent, and ChatGPT Images 2.5.","correction_role":null,"label":"fact","paired_claim_ids":[],"provenance_tier":"primary","recorded_at":"2026-09-10T06:47:26.549419+00:00","source_name":"AI Daily Brief","source_url":"https://podcasters.spotify.com/pod/show/nlw/episodes/AI-Model-Month-Is-Off-to-a-Blistering-Start-e3ok1na"},{"assertion_indexes":[10],"citation_authority_claim_id":59399,"citation_checks":[],"claim_id":59399,"claim_text":"OpenAI claimed a breakthrough related to the Navier-Stokes equations, but this achievement was disputed.","correction_role":null,"label":"fact","paired_claim_ids":[],"provenance_tier":"primary","recorded_at":"2026-09-10T06:47:26.549419+00:00","source_name":"AI Daily Brief","source_url":"https://podcasters.spotify.com/pod/show/nlw/episodes/AI-Model-Month-Is-Off-to-a-Blistering-Start-e3ok1na"},{"assertion_indexes":[10],"citation_authority_claim_id":59400,"citation_checks":[],"claim_id":59400,"claim_text":"A lawsuit was filed regarding usage limits on Claude, an AI model.","correction_role":null,"label":"fact","paired_claim_ids":[],"provenance_tier":"primary","recorded_at":"2026-09-10T06:47:26.549419+00:00","source_name":"AI Daily Brief","source_url":"https://podcasters.spotify.com/pod/show/nlw/episodes/AI-Model-Month-Is-Off-to-a-Blistering-Start-e3ok1na"}],"version":"evidence-bundle-v1"}